Computability over an Arbitrary Structure. Sequential and Parallel Polynomial Time
نویسندگان
چکیده
We provide several machine-independent characterizations of deterministic complexity classes in the model of computation proposed by L. Blum, M. Shub and S. Smale. We provide a characterization of partial recursive functions over any arbitrary structure. We show that polynomial time computable functions over any arbitrary structure can be characterized in term of safe recursive functions. We show that polynomial parallel time decision problems over any arbitrary structure can be characterized in terms of safe recursive functions with substitutions.
منابع مشابه
Safe Recursion Over an Arbitrary Structure: PAR, PH and DPH
Considering the Blum, Shub, and Smale computational model for real numbers, extended by Poizat to general structures, classical complexity can be considered as the restriction to finite structures of a more general notion of computability and complexity working over arbitrary structures. In a previous paper, we showed that the machine-independent characterization of Bellantoni and Cook of seque...
متن کاملEfficient implementation of low time complexity and pipelined bit-parallel polynomial basis multiplier over binary finite fields
This paper presents two efficient implementations of fast and pipelined bit-parallel polynomial basis multipliers over GF (2m) by irreducible pentanomials and trinomials. The architecture of the first multiplier is based on a parallel and independent computation of powers of the polynomial variable. In the second structure only even powers of the polynomial variable are used. The par...
متن کاملImplicit Complexity over an Arbitrary Structure: Sequential and Parallel Polynomial Time
We provide several machine-independent characterizations of deterministic complexity classes in the model of computation proposed by L. Blum, M. Shub and S. Smale. We provide a characterization of partial recursive functions over any arbitrary structure. We show that polynomial time over an arbitrary structure can be characterized in terms of ∗These authors has been supported City University of...
متن کاملPolynomial Time Computation in the Context of Recursive Analysis
Recursive analysis was introduced by A. Turing [1936], A. Grzegorczyk [1955], and D. Lacombe [1955] as an approach for investigating computation over the real numbers. It is based on enhancing the Turing machine model by introducing oracles that allow the machine to access finitary portions of the real infinite objects. Classes of computable real functions have been extensively studied as well ...
متن کاملEnumeration Reducibility and Computable Structure Theory
In classical computability theory the main underlying structure is that of the natural numbers or equivalently a structure consisting of some constructive objects, such as words in a finite alphabet. In the 1960’s computability theorists saw it as a challenge to extend the notion of computable to arbitrary structure. The resulting subfield of computability theory is commonly referred to as comp...
متن کامل